Skip to content

Execute shared UnivMon frequency summaries and raw HLL updates - #617

Merged
zzylol merged 16 commits into
mainfrom
feat/univmon-runtime
Sep 11, 2026
Merged

zzylol merged 16 commits into
mainfrom
feat/univmon-runtime

Conversation

@zzylol

@zzylol zzylol commented Sep 11, 2026

Copy link
Copy Markdown
Contributor

Planner-selected HLL and UnivMon summaries need executable ingest, storage and readout paths in the backend.

Add raw-value HLL updates and a shared UnivMon accumulator for count, distinct, frequency L2 and entropy. Both use SummaryCatalog partitioning, SummaryStore panes and QueryPlan bindings. Installation validates scalar hashing versus unit-frequency input semantics; unknown approximate guarantees remain uncalibrated.

Before this PR: HLL had no raw updater, UnivMon could not execute, and unsupported Theta/KMV emission could panic.

After this PR: per-series HLL and shared UnivMon states can be built, serialized, merged and read through the installed DAG. Unsupported families fail admission. This does not establish fallback coverage for every approximate subtree.

Verification: latest integration using the pinned #139 dependency passed 84 shared-type tests, 726 control-plane tests, 1,123 data-plane tests, and all 9 real-process compatibility tests (13.16 seconds). Independent review passed for the main integration and terminal-state guard/dependency pin. Exact-head remote CI is pending.

#620's terminal-mode restore guard is now included. CI pins ProjectASAP/asap_sketchlib#139 at c0de315754f9a6c77dd7a25aca0b2b62f0aec276; local builds must use the same sibling checkout as the collector adapter. This explicitly depends on the unmerged library revision, as documented in docs/developer_docs/univmon-dependency.md. #616 is merged. Readout calibration and measured benefits are tracked separately in #619/#626; this PR makes no general speedup claim.

@zzylol
zzylol changed the base branch from feat/erp-per-series-execution to main September 11, 2026 01:47
@zzylol
zzylol marked this pull request as ready for review September 11, 2026 13:06
@zzylol
zzylol merged commit 60b5d48 into main Sep 11, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant